5 results
Homology and K-theory of dynamical systems IV. Further structural results on groupoid homology
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems , First View
- Published online by Cambridge University Press:
- 15 May 2024, pp. 1-27
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A CATEGORICAL APPROACH TO THE BAUM–CONNES CONJECTURE FOR ÉTALE GROUPOIDS
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu , First View
- Published online by Cambridge University Press:
- 02 January 2024, pp. 1-46
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Homology and K-theory of dynamical systems I. Torsion-free ample groupoids
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 42 / Issue 8 / August 2022
- Published online by Cambridge University Press:
- 04 June 2021, pp. 2630-2660
- Print publication:
- August 2022
-
- Article
- Export citation
Generalization strategies for the verification of infinite state systems
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 25 January 2012, pp. 175-199
-
- Article
- Export citation
Transformations of logic programs on infinite lists
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 383-399
-
- Article
- Export citation